The Completeness of a Natural System for Reasoning with Time Intervals
نویسنده
چکیده
James Allen defined a calculus of time intervals by ident i fying time intervals as pairs of real numbers, and considering binary relations that can hold between such pairs [Alll83]. We call this the Interval Calculus. We consider the system of interval time units defined in [Lad86.2] (the T U S ) , which was intended for the natural representation of real clock time on any scale. We introduce the convex part of the T U S , and show that it may be regarded as a canonical model of the Interval Calculus. We discuss the consequences of this result.
منابع مشابه
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملDASTWAR: a tool for completeness estimation in magnitude-size plane
Today, great observatories around the world, devote a substantial amount of observing time to sky surveys. The resulted images are inputs of source finder modules. These modules search for the target objects and provide us with source catalogues. We sought to quantify the ability of detection tools in recovering faint galaxies regularly encountered in deep surveys. Our approach was based on com...
متن کاملDesigning of P controller to obtain desired time domain scenario of the output
One of the most applicable and simple controllers, which always attracts the researcherchr('39')s attention to obtain a proper closed-loop performance, is the P controller. Proper performance of a system defined in the presence of controller has been proposed with different expressions like rising time, settling time and maximum overshoot. But in the view of this paper, the proper performance o...
متن کاملPROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS
Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...
متن کاملبررسی رابطه خشکسالی هواشناسی و هیدرولوژیکی در حوزه آبخیز اترک
Drought is a natural and recurring phenomenon which causes water scarcity in various sectors. In comparison with other natural hazards and disasters, drought is more important considering intensity and frequency as well as spatial extent and total damage. In the current research, the Standardized Precipitation Index (SPI) and Standardized Discharge Index (SDI) were used to analyze the tempora...
متن کامل